Testing membership in the {0, 1/2}-closure is strongly NP-hard, even for polytopes contained in the n-dimensional 0/1-cube
نویسندگان
چکیده
Caprara and Fischetti introduced a class of cutting planes, called {0, 1/2}-cuts, which are valid for arbitrary integer linear programs. They also showed that the associated separation problem is strongly NPhard. We show that separation remains strongly NP-hard, even when all integer variables are binary, even when the integer linear program is a set packing problem, and even when the matrix of left-hand side coefficients is the clique matrix of a graph containing a small number of maximal cliques. In fact, we show these results for the membership problem, which is weaker than separation.
منابع مشابه
On the membership problem for the {0, 1/2}-closure
In integer programming, {0, 1/2}-cuts are Gomory–Chvátal cuts that can be derived from the original linear system by using coefficients of value 0 or 1/2 only. The separation problem for {0, 1/2}-cuts is strongly NP-hard. We show that separation remains strongly NP-hard, even when all integer variables are binary. © 2011 Elsevier B.V. All rights reserved.
متن کاملGomory-Chvátal Cutting Planes and the Elementary Closure of Polyhedra
The elementary closure P ′ of a polyhedron P is the intersection of P with all its GomoryChvátal cutting planes. P ′ is a rational polyhedron provided that P is rational. The Chvátal-Gomory procedure is the iterative application of the elementary closure operation to P . The Chvátal rank is the minimal number of iterations needed to obtain PI . It is always finite, but already in R2 one can con...
متن کاملOn the Rational Polytopes with Chvátal Rank 1
In this paper, we study the following problem: given a polytope P with Chvátal rank 1, does P contain an integer point? Boyd and Pulleyblank observed that this problem is in the complexity class NP ∩ co-NP, an indication that it is probably not NP-complete. We solve this problem in polynomial time for polytopes arising from the satisfiability problem of a given formula with at least three liter...
متن کاملCharacterizing Polytopes Contained in the $0/1$-Cube with Bounded Chvátal-Gomory Rank
Let S ⊆ {0, 1} and R be any polytope contained in [0, 1] with R ∩ {0, 1} = S. We prove that R has bounded Chvátal-Gomory rank (CG-rank) provided that S has bounded pitch and bounded gap, where the pitch is the minimum integer p such that all p-dimensional faces of the 0/1-cube have a nonempty intersection with S, and the gap is a measure of the size of the facet coefficients of conv(S). Let H [...
متن کاملBounds on the Chvátal Rank of Polytopes in the 0/1-Cube
Gomory’s and Chvátal’s cutting-plane procedure proves recursively the validity of linear inequalities for the integer hull of a given polyhedron. The number of rounds needed to obtain all valid inequalities is known as the Chvátal rank of the polyhedron. It is well-known that the Chvátal rank can be arbitrarily large, even if the polyhedron is bounded, if it is of dimension 2, and if its intege...
متن کامل